Die Ochsenschwanz-Stücke waschen und abtrocknen. Zwiebeln, Sellerie und Möhren schälen und in grobe Würfel schneiden. In einem großen Topf die Fleischstücke in Öl anbraten, bis sie auf allen Seiten Farbe angenommen haben, dann die Gemüsewürfel dazugeben und weiter unter Rühren an- schmoren. Mit Salz, Pfeffer und dem Rosenpaprika wür- zen, das Wasser aufgießen. Die Lorbeerblätter, den Thymian und das